Issue2350-constructor-parameter-ignored.agda:8,18-27
ℓ != ℓ' of type Agda.Primitive.Level
when checking that the inferred type of an application
  D _A_13
matches the expected type
  D A
